81. From problem to program
Author: Wardle, Michael E.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer programming,، Mathematics - Data processing
Classification :
QA
76
.
6
.
W35
1972
82. Game design theory: a new philosophy for understanding games
Author: Burgun, Keith
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Design ، Computer games,Programming ، Computer games,Design ، Video games,، COMPUTERS / Programming / Games,، MATHEMATICS / Game Theory
Classification :
QA
76
.
76
.
C672
B86
83. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
84. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
Author: Jouko Vaananen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1754
85. Grammars and automata for string processing: from mathematics and computer science to biology, and back
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
Classification :
QA
76
.
G64
2003
86. Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author: edited by Carlos Martin-Vide and Victor Mitrana
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
Classification :
QA
76
.
G69
87. Guide to Scientific Computing in C++ /
Author: by Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6-76
.
66
88. Guide to discrete mathematics :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
Classification :
QA76
.
9
.
M35
89. How to solve it by computer
Author: Dromey, R.G
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Data processing ، Mathematics,Data processing ، Problems solving,Programming ، Electronic digital computer
Classification :
QA
76
.
95
.
D76
1982
90. How to solve it by computer
پدیدآورنده : By R. G. Dromy
موضوع : Mathematics- data processing,Problem solving- data processing,Computer programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
91. How to solve it by computer
Author: / R. G. Dromey
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Mathematics Data processing,Problem solving-data processing,Electronic digital computer-Programming
Classification :
QA
76
.
95
.
D76
1982
92. How to solve it by computer /
Author: by R.G. Dromey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming,Mathematics-- Data processing,Problem solving-- Data processing,Mathématiques-- Informatique,Programmation (Informatique),Résolution de problème-- Informatique
Classification :
QA76
.
95
.
D76
1982
93. Initial computability, algebraic specifications, and partial algebras
Author: / by Horst Reichel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
Classification :
QA
76
.
9
.
M35R45
1987
94. Integrated Methods for Optimization
Author: / John N. Hooker
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science, Mathematical models
Classification :
T57
.
H66
2012
95. Integrated methods for optimization
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematical optimization. ; Programming (Mathematics) ; Constraint programming (Computer science) ; Computer science ; Mathematical models. ;
96. Integrated methods for optimization
Author: Hooker, John
Library: (Semnan)
Subject: ، Mathematical optimization,، Programming )Mathematics(,، Constraint programming )Computer science(,Mathematical models ، Computer science
Classification :
T
57
.
H6I5
2007
97. Integrated methods for optimization
Author: by John N. Hooker
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science, Mathematical models
Classification :
519
,.
6
,.
H66
,
2007
98. Integrated methods for optimization
Author: / by John N. Hooker
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematical optimization.,Programming (Mathematics),Constraint programming (Computer science),Computer science--Mathematical models
Classification :
T
,
57
,.
H66
,
2007
99. Integrated methods for optimization
Author: / John N. Hooker
Library: Farabi Faculty Library, University of Tehran (Qom)
Subject: Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science--Mathematical models
Classification :
T
57
.
H66
2012
100. Intelligent Optimisation Techniques: Genetic Algorithms, Tabu Search, Simulated Annealing and Neural Networks
Author: Pham, D. T.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Engineering-- Data processing,، Computer-aided engineering,، Heuristic programming,، Genetic algorithms,، Simulated annealing )Mathematics(,، Neural networks )Computer science(
Classification :
TA
345
.
P54
2000
